loop checking instrumentation